Transformation Laws for Sequential Object-Oriented ProgrammingSAMPAIO, Augusto; BORBA, Paulo.Lecture notes in computer science. 2006, pp 18-63, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 46 p.Conference Paper

Techniques for Temporal Logic Model CheckingDEHARBE, David.Lecture notes in computer science. 2006, pp 315-367, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 53 p.Conference Paper

Library Block SpecificationsLecture notes in computer science. 2006, pp 375-391, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 17 p.Conference Paper

Proofs of Lemmas and Theorems in the UTPLecture notes in computer science. 2006, pp 369-374, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 6 p.Conference Paper

Refinement techniques in software engineering (First Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004)Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-46253-8, 1Vol, X-391 p, isbn 3-540-46253-8Conference Proceedings

Elementary Probability TheoryLecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-46253-8, 1Vol, p. 368Conference Paper

Using CSPDAVIES, Jim.Lecture notes in computer science. 2006, pp 64-122, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 59 p.Conference Paper

Refinement : An OverviewCAVALCANTI, Ana; SAMPAIO, Augusto; WOODCOCK, Jim et al.Lecture notes in computer science. 2006, pp 1-17, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 17 p.Conference Paper

A Tutorial Introduction to CSP in Unifying Theories of ProgrammingCAVALCANTI, Ana; WOODCOCK, Jim.Lecture notes in computer science. 2006, pp 220-268, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 49 p.Conference Paper

Developing and Reasoning About Probabilistic Programs in pGCLMCIVER, Annabelle; MORGAN, Carroll.Lecture notes in computer science. 2006, pp 123-155, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 33 p.Conference Paper

Real-Time and Fault-Tolerant SystemsZHIMING LIU; JOSEPH, Mathai.Lecture notes in computer science. 2006, pp 156-219, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 64 p.Conference Paper

Using the Compliance Notation in IndustryCLAYTON, Phil; O'HALLORAN, Colin.Lecture notes in computer science. 2006, pp 269-314, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 46 p.Conference Paper

Introducing concurrency in sequential Java via lawsDUARTE, Rafael; MOTA, Alexandre; SAMPAIO, Augusto et al.Information processing letters. 2011, Vol 111, Num 3, pp 129-134, issn 0020-0190, 6 p.Article

Correct hardware synthesis An algebraic approachPERNA, Juan; WOODCOCK, Jim; SAMPAIO, Augusto et al.Acta informatica. 2011, Vol 48, Num 7-8, pp 363-396, issn 0001-5903, 34 p.Article

A refinement algebra for object-oriented programmingBORBA, Paulo; SAMPAIO, Augusto; CORNELIO, Marcio et al.Lecture notes in computer science. 2003, pp 457-482, issn 0302-9743, isbn 3-540-40531-3, 26 p.Conference Paper

A semantics for UML-RT active classes via mapping into circusRAMOS, Rodrigo; SAMPAIO, Augusto; MOTA, Alexandre et al.Lecture notes in computer science. 2005, pp 99-114, issn 0302-9743, isbn 3-540-26181-8, 16 p.Conference Paper

Transformation Laws for UML-RTRAMOS, Rodrigo; SAMPAIO, Augusto; MOTA, Alexandre et al.Lecture notes in computer science. 2006, pp 123-137, issn 0302-9743, isbn 3-540-34893-X, 1Vol, 15 p.Conference Paper

Object-Orientation in the UTPSANTOS, Thiago; CAVALCANTI, Ana; SAMPAIO, Augusto et al.Lecture notes in computer science. 2006, pp 18-37, issn 0302-9743, isbn 3-540-34750-X, 1Vol, 20 p.Conference Paper

Refinement algebra for formal bytecode generationDURAN, Adolfo; CAVALCANTI, Ana; SAMPAIO, Augusto et al.Lecture notes in computer science. 2002, pp 347-358, issn 0302-9743, isbn 3-540-00029-1, 12 p.Conference Paper

Mechanical abstraction of CSP_Z processesMOTA, Alexandre; BORBA, Paulo; SAMPAIO, Augusto et al.Lecture notes in computer science. 2002, pp 163-183, issn 0302-9743, isbn 3-540-43928-5, 21 p.Conference Paper

Serialising parallel processes in a hardware/software partitioning contextSILVA, Leila; SAMPAIO, Augusto; JONES, Geraint et al.Lecture notes in computer science. 2001, pp 344-363, issn 0302-9743, isbn 3-540-41791-5Conference Paper

Efficient CSP_Z data abstractionFARIAS, Adalberto; MOTA, Alexandre; SAMPAIO, Augusto et al.Lecture notes in computer science. 2004, pp 108-127, issn 0302-9743, isbn 3-540-21377-5, 20 p.Conference Paper

A strategy for compiling classes, inheritance, and dynamic bindingDURAN, Adolfo; CAVALCANTI, Ana; SAMPAIO, Augusto et al.Lecture notes in computer science. 2003, pp 301-320, issn 0302-9743, isbn 3-540-40828-2, 20 p.Conference Paper

Refinement in CircusSAMPAIO, Augusto; WOODCOCK, Jim; CAVALCANTI, Ana et al.Lecture notes in computer science. 2002, pp 451-470, issn 0302-9743, isbn 3-540-43928-5, 20 p.Conference Paper

An integrated approach to specification and validation of real-time systemsSHERIF, Adnan; SAMPAIO, Augusto; CAVALCANTE, Sérgio et al.Lecture notes in computer science. 2001, pp 278-299, issn 0302-9743, isbn 3-540-41791-5Conference Paper